Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21 }

B grade: { 9 }

C grade: { }

F grade: { }

2.1.3 Maple

A grade: { 2, 3, 7, 8, 12, 13, 16 }

B grade: { 1, 4, 5, 6, 9, 10, 11, 14, 15, 17, 18, 19, 20, 21 }

C grade: { }

F grade: { }

2.1.4 Maxima

A grade: { 2, 3 }

B grade: { }

C grade: { }

F grade: { 1, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 18, 19 }

B grade: { 10, 11, 20, 21 }

C grade: { }

F grade: { 9, 14, 15, 16, 17 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 18 }

B grade: { }

C grade: { }

F grade: { 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21 }

2.1.7 Giac

A grade: { 2, 3, 7, 8, 15, 19 }

B grade: { 1, 4, 5, 6, 13, 14, 18, 20, 21 }

C grade: { }

F grade: { 9, 10, 11, 12, 16, 17 }

2.1.8 Mupad

A grade: { }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21 }

C grade: { }

F grade: { 16, 17 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 56 117 0 227 688 361 1537
normalized size 1 1.00 0.98 2.05 0.00 3.98 12.07 6.33 26.96
time (sec) N/A 0.127 0.099 0.059 0.000 0.771 22.861 0.414 5.572




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 19 19 19 28 17 18 18
normalized size 1 1.00 1.00 1.00 1.00 1.47 0.89 0.95 0.95
time (sec) N/A 0.068 0.036 0.053 0.307 0.646 0.294 0.852 2.177




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 23 23 20 31 19 25 27 39 30
normalized size 1 1.00 0.87 1.35 0.83 1.09 1.17 1.70 1.30
time (sec) N/A 0.078 0.051 0.070 0.330 0.462 0.449 1.936 2.215




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 57 150 0 231 804 407 2219
normalized size 1 1.00 0.98 2.59 0.00 3.98 13.86 7.02 38.26
time (sec) N/A 0.115 0.080 0.060 0.000 0.541 23.957 0.473 11.810




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 55 110 0 235 748 103 2213
normalized size 1 1.00 0.95 1.90 0.00 4.05 12.90 1.78 38.16
time (sec) N/A 0.130 0.098 0.063 0.000 0.564 24.571 0.365 11.904




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 61 129 0 263 0 121 1540
normalized size 1 1.00 0.94 1.98 0.00 4.05 0.00 1.86 23.69
time (sec) N/A 0.137 0.152 0.103 0.000 0.792 0.000 3.956 5.659




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 134 135 0 266 0 116 419
normalized size 1 1.00 1.34 1.35 0.00 2.66 0.00 1.16 4.19
time (sec) N/A 0.156 0.275 0.097 0.000 7.235 0.000 0.382 3.581




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 99 99 116 134 0 265 0 115 417
normalized size 1 1.00 1.17 1.35 0.00 2.68 0.00 1.16 4.21
time (sec) N/A 0.250 0.209 0.091 0.000 8.187 0.000 0.413 3.544




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B B F(-2) F(-1) F F(-2) B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 247 247 526 1066 0 0 0 0 9992
normalized size 1 1.00 2.13 4.32 0.00 0.00 0.00 0.00 40.45
time (sec) N/A 0.409 4.002 0.271 0.000 0.000 0.000 0.000 11.819




















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 170 170 335 593 0 747 0 0 6735
normalized size 1 1.00 1.97 3.49 0.00 4.39 0.00 0.00 39.62
time (sec) N/A 0.327 1.289 0.265 0.000 111.796 0.000 0.000 9.930




















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 135 288 0 505 0 0 3577
normalized size 1 1.00 1.31 2.80 0.00 4.90 0.00 0.00 34.73
time (sec) N/A 0.271 0.897 0.227 0.000 12.845 0.000 0.000 7.465




















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 112 135 0 296 0 0 345
normalized size 1 1.00 1.47 1.78 0.00 3.89 0.00 0.00 4.54
time (sec) N/A 0.137 0.159 0.213 0.000 1.634 0.000 0.000 3.553




















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 106 110 0 1022 0 511 2665
normalized size 1 1.00 0.88 0.91 0.00 8.45 0.00 4.22 22.02
time (sec) N/A 0.266 0.257 0.264 0.000 5.921 0.000 0.766 4.789




















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) F(-1) F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 187 187 205 418 0 0 0 342 20827
normalized size 1 1.00 1.10 2.24 0.00 0.00 0.00 1.83 111.37
time (sec) N/A 0.631 0.848 0.277 0.000 0.000 0.000 1.653 15.228




















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) F(-1) F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 458 458 319 1869 0 0 0 770 52103
normalized size 1 1.00 0.70 4.08 0.00 0.00 0.00 1.68 113.76
time (sec) N/A 0.971 2.473 0.330 0.000 0.000 0.000 3.846 20.251




















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 213 213 184 357 0 0 0 0 -1
normalized size 1 1.00 0.86 1.68 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.385 4.158 0.676 0.000 2.063 0.000 0.000 0.000




















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 187 239 0 0 0 0 -1
normalized size 1 1.00 1.83 2.34 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.202 4.398 0.576 0.000 2.460 0.000 0.000 0.000




















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 82 226 0 326 672 459 886
normalized size 1 1.00 0.94 2.60 0.00 3.75 7.72 5.28 10.18
time (sec) N/A 0.144 0.246 0.181 0.000 0.879 26.561 0.447 4.165




















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 115 279 0 444 0 173 126
normalized size 1 1.00 0.96 2.32 0.00 3.70 0.00 1.44 1.05
time (sec) N/A 0.172 0.430 0.174 0.000 1.250 0.000 0.923 2.566




















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 187 187 175 994 0 830 0 502 283
normalized size 1 1.00 0.94 5.32 0.00 4.44 0.00 2.68 1.51
time (sec) N/A 0.284 0.859 0.182 0.000 1.811 0.000 0.753 5.495




















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) B F(-1) B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 260 260 302 1974 0 1334 0 960 502
normalized size 1 1.00 1.16 7.59 0.00 5.13 0.00 3.69 1.93
time (sec) N/A 0.499 1.192 0.188 0.000 1.192 0.000 1.439 5.220










2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [8] had the largest ratio of [.5333]

Table 2.1:Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)







1 A 6 5 1.00 15 0.333







2 A 5 4 1.00 13 0.308







3 A 5 4 1.00 15 0.267







4 A 6 5 1.00 14 0.357







5 A 6 5 1.00 15 0.333







6 A 8 7 1.00 15 0.467







7 A 7 5 1.00 15 0.333







8 A 11 8 1.00 15 0.533







9 A 12 8 1.00 25 0.320







10 A 10 8 1.00 25 0.320







11 A 8 7 1.00 25 0.280







12 A 5 5 1.00 23 0.217







13 A 6 5 1.00 25 0.200







14 A 7 6 1.00 25 0.240







15 A 16 8 1.00 25 0.320







16 A 4 4 1.00 27 0.148







17 A 2 2 1.00 27 0.074







18 A 6 6 1.00 31 0.194







19 A 7 7 1.00 31 0.226







20 A 8 7 1.00 31 0.226







21 A 9 7 1.00 31 0.226